<?
  require('functions.inc.php');

  if (isset($_SESSION['loggedin']))
  {
    $_SESSION['loggedin'] = 0;
    unset($_SESSION['loggedin']);

    mysqli_close($_SESSION['db_connection']);
    unset($_SESSION['db_connection']);

    //echo "Logged out!<br>";
    //echo "<a href='.'>Continue</a>";

    echo "location.reload();";
  }
?>
